type R{caret}() =
    { F: int }
